|
Suppose that ''φ'':''M''→ ''N'' is a smooth map between smooth manifolds ''M'' and ''N''; then there is an associated linear map from the space of 1-forms on ''N'' (the linear space of sections of the cotangent bundle) to the space of 1-forms on ''M''. This linear map is known as the pullback (by ''φ''), and is frequently denoted by ''φ'' *. More generally, any covariant tensor field – in particular any differential form – on ''N'' may be pulled back to ''M'' using ''φ''. When the map ''φ'' is a diffeomorphism, then the pullback, together with the pushforward, can be used to transform any tensor field from ''N'' to ''M'' or vice versa. In particular, if ''φ'' is a diffeomorphism between open subsets of Rn and Rn, viewed as a change of coordinates (perhaps between different charts on a manifold ''M''), then the pullback and pushforward describe the transformation properties of covariant and contravariant tensors used in more traditional (coordinate dependent) approaches to the subject. The idea behind the pullback is essentially the notion of precomposition of one function with another. However, by combining this idea in several different contexts, quite elaborate pullback operations can be constructed. This article begins with the simplest operations, then uses them to construct more sophisticated ones. Roughly speaking, the pullback mechanism (using precomposition) turns several constructions in differential geometry into contravariant functors. ==Pullback of smooth functions and smooth maps== Let φ:''M''→ ''N'' be a smooth map between (smooth) manifolds ''M'' and ''N'', and suppose ''f'':''N''→R is a smooth function on ''N''. Then the pullback of ''f'' by φ is the smooth function φ *''f'' on ''M'' defined by (φ *''f'')(''x'') = ''f''(φ(''x'')). Similarly, if ''f'' is a smooth function on an open set ''U'' in ''N'', then the same formula defines a smooth function on the open set ''φ''−1(''U'') in ''M''. (In the language of sheaves, pullback defines a morphism from the sheaf of smooth functions on ''N'' to the direct image by φ of the sheaf of smooth functions on ''M''.) More generally, if ''f'':''N''→''A'' is a smooth map from ''N'' to any other manifold ''A'', then φ *''f''(''x'')=''f''(φ(''x'')) is a smooth map from ''M'' to ''A''. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Pullback (differential geometry)」の詳細全文を読む スポンサード リンク
|